Cocountable topology

The cocountable topology or countable complement topology on any set X consists of the empty set and all cocountable subsets of X, that is all sets whose complement in X is countable. It follows that the only closed subsets are X and the countable subsets of X.

Every set X with the cocountable topology is Lindelöf, since every nonempty open set omits only countably many points of X. It is also T1, as all singletons are closed. The only compact subsets of X are the finite subsets, so X has the property that all compact subsets are closed, even though it is not Hausdorff if uncountable.

The cocountable topology on a countable set is the discrete topology. The cocountable topology on an uncountable set is hyperconnected, thus connected, locally connected and pseudocompact, but neither weakly countably compact nor countably metacompact.

See also

References